Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
111	A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops Andreas Ibing, Alexandra Mai Chair for IT Security TU M¨unchen Boltzmannstrasse 3, 85748 Garching, Germany {ibing,mai}@sec.in.tum.de Add to Reading List Source URL: www.sec.in.tum.de Language: English - Date: 2016-02-01 08:36:29 Recursion Theoretical computer science Formal methods Compiler optimizations Infinite loop Satisfiability modulo theories Control flow For loop Algorithm Termination analysis Loop unrolling Satisfiability
112	NARROW OPERATORS AND RICH SUBSPACES OF BANACH SPACES WITH THE DAUGAVET PROPERTY VLADIMIR M. KADETS, ROMAN V. SHVIDKOY AND DIRK WERNER Abstract. Let X be a Banach space. We introduce a formal approach which seems to be us Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2012-11-07 06:27:13 Functional analysis Operator theory Functions and mappings Compact operator Fredholm operator Strictly singular operator Operator Continuous function Banach space Open set Kernel Isometry
113	MSc in Data Science The Science Faculty at UCT will offer an interdisciplinary degree in Data Science fromParticipating departments are Statistical Sciences, Computer Science, Astronomy, Physics, and the Bioinform Add to Reading List Source URL: www.cbio.uct.ac.za Language: English - Date: 2016-07-25 05:23:06 Formal sciences Data Bioinformatics Statistics Big data Data science Data mining Scientific modelling Data analysis Computer science Artificial neural network Bayesian network
114	Beyond Reinforcement Learning and Local View in Multiagent Systems Ana L. C. Bazzan KI - Künstliche Intelligenz Add to Reading List Source URL: www.inf.ufrgs.br Language: English - Date: 2014-07-30 07:23:22 Machine learning Multi-agent systems Data mining Formal sciences Artificial intelligence Cluster analysis Reinforcement learning Agent-based model Statistical classification Software agent Swarm intelligence K-means clustering
115	Sensing Urban Space: from Street View Recognition, Event Inference to Understand Urban Behavior Fan Zhang1, Hui Lin12, 1The Chinese University of Hong Kong, Shatin, New Territories, Hong Kong 2The Chinese University of Add to Reading List Source URL: ncgia.buffalo.edu Language: English* - Date: 2016-05-18 12:38:26 Computational neuroscience Artificial neural networks Computer vision Deep learning Formal sciences Convolutional neural network Conference on Computer Vision and Pattern Recognition Image segmentation Urban design Artificial intelligence Spatial analysis
116	Ontology Application to the Problem of Maritime Traffic Analysis and Understanding John McDowall Larry Kerschberg BAE Systems, McLean, VA, USA Abstract Maintaining accurate situat Add to Reading List Source URL: ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Knowledge representation Information science Technical communication Semantic Web Upper ontology Formal ontology Web Ontology Language Draft:Outline of ontologies Semantic interoperability
117	Evaluating a method for the analysis of performance practices in electronic music Marko Ciciliani1 and Zenon Mojzysz2 1 IEM – Institute Add to Reading List Source URL: www.markociciliani.de Language: English - Date: 2015-10-17 03:57:27 Formal sciences Subroutines Parameter Centripetal Marko Ciciliani Statistics Control theory
118	Microsoft Word - Document5 Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:20:05 Biological databases Bioinformatics Gene expression EMAGE Bone morphogenetic protein 4 Formal concept analysis
119	Course Objectives Understand data mining principles, techniques, and tasks for proactive analysis, predictive modeling, and Add to Reading List Source URL: bigdata.asa.siu.edu Language: English - Date: 2016-06-24 09:25:12 Business intelligence Formal sciences Data warehousing Data mining SAS Data warehouse Analytics Oracle Data Mining RapidMiner

UPDATE